Send Message into a Definite Future
نویسنده
چکیده
Rivest et al proposed a time-lock puzzle scheme for encrypting messages which can only be decrypted in the future. Such a puzzle speci es an algorithm for decrypting the message locked in and the speci ed algorithm has a well understood time complexity. However, that time-lock puzzle scheme does not provide a means for one to examine whether a puzzle has been formed in good order. Consequently, one may foolishly waste a lengthy time on trying to solve an intractable problem. This weakness prohibits that scheme from applications that involve mutually untrusted parties. We propose a new time-lock puzzle scheme which includes an e cient protocol that allows examination of the time needed for decrypting the message locked in.
منابع مشابه
Evaluation of the Effect of Short Message Service on Teaching Key Points in Pediatrics
Background: Nowadays, due to the emergence of new and advanced technologies, methods of medical education have undergone several changes. Because students often spend many minutes per day using mobile phone and its features, and this is a great attraction for them. This study was an attempt to assess the capabilities of the mobile phone technology to be used for teaching the key points of pedia...
متن کاملA Message-Passing Distributed Memory Parallel Algorithm for a Dual-Code Thin Layer, Parabolized Navier-Stokes Solver
In this study, the results of parallelization of a 3-D dual code (Thin Layer, Parabolized Navier-Stokes solver) for solving supersonic turbulent flow around body and wing-body combinations are presented. As a serial code, TLNS solver is very time consuming and takes a large part of memory due to the iterative and lengthy computations. Also for complicated geometries, an exceeding number of grid...
متن کاملDesign an Efficient Community-based Message Forwarding Method in Mobile Social Networks
Mobile social networks (MSNs) are a special type of Delay tolerant networks (DTNs) in which mobile devices communicate opportunistically to each other. One of the most challenging issues in Mobile Social Networks (MSNs) is to design an efficient message forwarding scheme that has a high performance in terms of delivery ratio, latency and communication cost. There are two different approaches fo...
متن کاملProving Properties of Actor Programs Using Temporal Logic
defActor Set (head tail) ... meth perform (message) if (ask tail isEmpty) then let value = (ask head (ask message getSelector) (ask message getParams)) in (send (ask message getReturnAddress) return (value)) else let newTag = create(Tag) in (let mess = ask message copywithTagReturnTo (newTag message) in (send tail perform (m); send (ask message getReturnaddress) returnWithReqiredReceipts(nil ne...
متن کاملProving Properties of Actor Programs Using Temporal Logic
meth perform (message) if (ask tail isEmpty) then let value = (ask head (ask message getSelector) (ask message getParams)) in (send (ask message getReturnAddress) return (value)) else let newTag = create(Tag) in (let mess = ask message copywithTagReturnTo (newTag message) in (send tail perform (m); send (ask message getReturnaddress) returnWithReqiredReceipts(nil newTag))) ... endDef Figure 9: ...
متن کامل